Issue3262.agda:12,1-15
Missing with-clauses for function f
